Belief Revision and Truth Maintenance Systems: an Overview and a Proposal
نویسنده
چکیده
This paper presents a very high-level introduction to Belief Revision and Truth Maintenance Systems, including explanations of basic terminology , a brief history, and a comment on the two literatures: the TMS literature, and the AGM Belief Revision literature. More extensive surveys in each of the two literatures are cited. The paper concludes with a proposal to continue the investigation of the two traditions, and to see how they might be brought together.
منابع مشابه
Belief Revision and Truth Maintenance Systems: An Overview and a Proposal CSE Technical Report 98-10
This paper presents a very high-level introduction to Belief Revision and Truth Maintenance Systems, including explanations of basic terminology, a brief history, and a comment on the two literatures: the TMS literature, and the AGM Belief Revision literature. More extensive surveys in each of the two literatures are cited. The paper concludes with a proposal to continue the investigation of th...
متن کاملBelief Revision: A Computational Approach
In order to reason about the real world, intelligent systems must have ways of dealing with incomplete and inconsistent information. This issue is addressed in the study of nonmonotonic reasoning, truth maintenance and database update. Belief revision is a formal approach which is central to these areas. This thesis describes a computational approach to the logic of belief revision developed by...
متن کاملDistributed Belief Revision versus Distributed Truth Maintenance
This paper outlines a distinction between Distributed Truth Maintenance and Distributed Belief Revision. The latter has a more complex conceptualization than the former and it needs the evaluation of special features as the relationship between the Informant’s reliability and the Information’s credibility. We point out some criteria to judge the qualities of a Distributed Belief Revision strate...
متن کاملThe Truth, the Whole Truth, and Nothing But the Truth: An Indexed Bibliography to the Literature ofTruth Maintenance Systems
Papers that explicitly deal with issues on truth maintenance; and (3) Papers that deal with applications of truth maintenance and discuss the issues at some important length (thus we have excluded papers that reference truth maintenance as a possible technique to be used without any further discussion of how it could be used). We did not attempt to present the material from a tutorial perspecti...
متن کامل